Define identity property of multiplication