x = y and a = b. Prove that l || n.