>>66
積について閉じることは別途証明しないとダメに一票。
(ab)(cd)(ac)(bd) = (ad)(bc)
チェックするだけだし。