a,b,cがすべて対照。（可換）
よって正三角形である。