>>600
>定理
>x, y, z≧0, x + 2y + 3z≧12
>ならば
>x + y + z≧4
>である

何を言っているんですか？
これは
「実数の公理定義」から必要十分条件で演繹して
「x, y, z≧0, x + 2y + 3z≧12 ならば x + y + z≧4 という定理」
を導いたんですよ。

「x, y, z≧0, x + 2y + 3z≧12 ならば x + y + z≧4」
↑これひとかたまりの文章です。
あなたが言っているのはこの文章を「ならば」の前後でわけたんでしょ？
「x, y, z≧0, x + 2y + 3z≧12 」と「x + y + z≧4」
をわけたんでしょ？
そうじゃないでしょうが。

「実数の公理定義」から「x, y, z≧0, x + 2y + 3z≧12 ならば x + y + z≧4 という定理」
を導いたのは必要十分条件でしょ？
言ってる意味わからないですか？
同じことを>>249でも書き込んでますよ。

私が質問したのは「必要十分条件で導かれていない定理」はありますか？
と聞いたんですよ。
「x, y, z≧0, x + 2y + 3z≧12 ならば x + y + z≧4 」
と言う定理は「実数の公理定義」から必要十分条件で導かれていますよ