導出は読者に任せる
導出
がどうなるか、
この先は君の目で確かめてくれ！
cf.
余白が狭すぎる
証明は読者に任せる