左式のckを右式に代入、もしくは逆に右式を左式に代入し、整理すれば定理が導かれる。