>>164
いいえ建てられないんです。その論理は等号による二項関係の記述のみでは成立しません。実際にあなたが書いた文章は私が書いた補題1-1を含んでいます。
書き直してください。