定理4の補足

（補足）
定理4よりAD：AB＝AE：ACならばDE//BCであり、
定理3＋よりDE//BCならばAD：AB＝AE：AC＝DE：BCなので、
AD：AB＝AE：ACならばAD：AB＝AE：AC＝DE：BCが成り立つ。