>>49
「=」をどんな意味で使ったら、そうなんねん
A=B,B=CでA=Cとならないような証明体系をワイは聞いたこともない