>>36
>>37
33の書き込みをしたものですが、
もともと翻訳したかった日本文は

Aが成り立つなら、Bも成り立つか？

という書き言葉（数学）です。書き言葉と話し言葉だとちょっと扱いが変わってきそうですね。私の例文が話し言葉になっていて良くなかったです。