given AB=CD
Find: m<ABC