>>417
わかりやすく言いましょう。
ノクトの存在がZに存在しEに存在しないことが
　F0.95/50mmをマウント口径のせいでEは実現できない
ということの証明だと仮定した場合

400/2.8がEに存在しZに存在しないことは
　400mmF2.8をマウント口径のせいでZは実現できない
ということの証明となります。

ですが、これは誤りです。なぜならEに実現可能なレンズはすべて
Zで実現可能だからです。よって、仮定が誤っているこというこなります。

証明終了