P
Initializing...
The class of m· x is m times the class of x · Prove2Me