Properties of mutiplication