なんなの?
最初にあの同値を示す手順で進めるのに何か問題があるの?
定理を並べる順序に文句があるわけ?