התנאי המספיק

אם ישר מאונך לשני ישרים נחתכים במישור, אז הוא מאונך למישור — ולכן לכל ישר במישור.