Multiplication can be proved by division.

• 乘法可用除法来验算。