>>556
無意味な証明だよ