こういうのって理屈はわかるんだけど
何をどう計算したら証明できるのかが
さっぱりわからないんだよなあ