Yes, Fred is correct because if ℓ
 is parallel to ℓ
 is parallel to ℓ
 , and ℓ
, and ℓ
 is parallel to ℓ
 is parallel to ℓ
 , then it follows that ℓ
, then it follows that ℓ
 is parallel to ℓ
 is parallel to ℓ
 based on corresponding angles theorem.
 based on corresponding angles theorem.
In Mathematics and Geometry, corresponding angles theorem is a theorem which states that corresponding angles are always congruent when the transversal intersects two or more parallel lines.
By applying corresponding angles theorem to the two parallel lines ℓ
 and ℓ
 and ℓ
 cut through by transerval t, we have the following congruent angles:
 cut through by transerval t, we have the following congruent angles:
m∠1 ≅ m∠2 
By applying corresponding angles theorem to the two parallel lines ℓ
 and ℓ
 and ℓ
 cut through by transerval t, we have the following congruent angles:
 cut through by transerval t, we have the following congruent angles:
m∠1 ≅ m∠3
In this context, we can logically conclude that Fred's postulate is correct.
Complete Question:
Fred states that if ℓ
 is parallel to ℓ
 is parallel to ℓ
 , and ℓ
, and ℓ
 is parallel to ℓ
 is parallel to ℓ
 , then it follows that ℓ
, then it follows that ℓ
 is parallel to ℓ
 is parallel to ℓ
 . Is Fred right? Show your answer using a diagram.
. Is Fred right? Show your answer using a diagram.