トロじゃない証明ってどうすればいいだろう