This proof is due to Nathan Fine.
本证明由Nathan Fine给出。