diagonalization lemma

1. redirect diagonal lemma

{{rcatsh|

{{r from synonym}}

}}