Thm.30 ℓ//m,m//n⇒ℓ//n Thm.29⇒ nm19387965 原論 第1巻⇒ mylist/27410820 Thm.31⇒ nm19402388
http://www.nicovideo.jp/watch/nm19390370