זווית B= זווית C (במשולש שווה שוקיים זוויות הבסיס שוות זו לזו)DE=DC
מכאן נובע :
משולש ECD הוא משולש שווה-שוקיים (השוקיים שוות)
מכאן נובע :
זווית C=זווית E (במש"ש זוויות הבסיס שוות זו לזו)
ומכאן נובע :
זווית E = זווית B (כלל המעבר)
ומכאן נובע :
AB || DE (אם זוג זוויות מתחלפות שווה בשני ישרים הנחתכים ע"י ישר שלישי , אזי הקווים מקבילים)
מ.ש.ל