ではn=kのときに�@が成り立たない世界では�@は成り立たないんですか
それでは証明になってないではないですか