قضیة سه‌خط

three-line theorem