>>19 ○ This contradiction shows that l = l. [A proof by contradiction]