>>217
多分記述されていないいろんな前提をいれてるんだろうけど表現してないからな
証明問題だとダメだ