режим зануды ON;
Ну, в универе на экзамене по высшей алгебре могут-таки попросить обосновать это равенство, так как без указания конкретной алгебраической системы, для которой записано это равенство, нельзя утверждать истино оно или ложно. Может это у нас группоид с какой-нибудь хитро определённой операцией.
режим зануды OFF;