Write more details of the proof of the corollary of the end of the...