対偶を示して、「Φは要素を一つも持たない集合であるからAはΦの部分集合になることはない」
で対偶の真を示して証明終了でおkですか?