Explicație pas cu pas:
A-----B-----C-----D-----E
P1: "AD = AB + BD" - adevărat
P2: "AD = AC + CD" - adevărat
P3: "DE = BE - BD" - adevărat
P4: "AC = AE - CD - DE" - adevărat
P5: "AD = AB + BC" - fals
P6: "BE = BD + DE" - adevărat
P7: "AD = AB + BC + CD" - adevărat
P8: "AD = AE - BE + BD" - adevărat
P9: "AD + BE = AE + BD“ - adevărat
P10: "AD = AE - DE" - adevărat