这里可以用反证法证明通易航天供货歼20。

已知一：通易航天市占率90%

已知二：歼20产量战全国战斗机产量比例为16.67%

假设：通易航天不供货成飞集团

则歼20由其他产商供货，且该产商市占率至少为16.67%

那么可推论，通易航天市占率至多为100%-16.67%=83.33%，远小于90%

与已知一：通易航天市占率90%冲突。

故：假设【通易航天不供货成飞集团】不成立

即：通易航天供货歼20

同理，更可以证明通易航天供货成飞集团。