>>686
あるの証明は1例上げれば十分。
ないの証明は論理を積み上げるか統計が必要。