同値が自明なら問題ないじゃん
それが気になるくらいなら、かんたんな一次方程式もいちいち逆の確認（十分条件の確認）をするわけだけどそんなことをやっている参考書、教科書は見たことない