>>463
だから証明図の変形に関する記法だってばさ