peirce__classicの別証明を追加した。