הוכחת משפטים - הוכחת תכונות המקבילית