Pushkin's lemma clearly

 

v20240901