theorem :: CHORD:37

canceled;