>>975
もう分かってるかもしれないが、mb↑はb↑の実数m倍。
DN↑//AB↑だからb↑の実数倍としてDN↑は表現できるはずであり、
何倍かこの時点では分からないからm倍と置いてる。