>>53
検証は常に正しいとは限らない。たぶん正しいだろうが証明になるとでも
おもった?