Proving line congruence