Remark
The first part of the theorem has been dealt with in a special case
before
.