すみません、すごく長くなってしまったのですこし違うかもしれません。
でも、証明はできていると思うのですが……。