>>386
どうやって証明すればいい?