簡単な問題例に対する証明機構の検証