誰か命題の証明について教えてやってくれ