proverチェック用のテキストを出力します。