>>19ですが、>>20さんのおっしゃるように具体例を考える以外の証明法はないのでしょうか?