>>863
ということは、
「『Ａ＝ＢならばｎＡ＝ｎＢ』は、仮定Ａ＝Ｂの両辺をｎ倍することで証明される」と言いたい場合は、
「但し、ｎ≠１とする」と断る必要があるわけか。トートロジーは証明も何もないから。

あ、あと、ｎ≠０も必要かな。