. . . "2. if m is an element and n are an element then m * n is an element." . .