>>264
見事だねーパチパチパチ
でも、4つの恒等式のうち、(A△B)△C=A△(B△C)だけ自明とは言いがたいような...。
証明いらん?