>>576

a ＜ x ならば a ≦　x　でしょ。


だって、　a ＜ x ってのは（ a ≦ x かつ a ≠ x）でしたよねそもそも。


『動物園にあらいさんとフェネックさんがいる』　ならばその動物園には『フェネックさんがいる』
を導いていいでしょ。