Գրեք սա: The diamond lemma