ProofCafeで教えてもらったことを反映した。