ProofGeneral 使おう。