>>841
必要性、十分性を考慮しなければならない論理は使っていないと思うので
証明を逆にたどれば同値になると思いますけど