richmahn_en_tn/exo/25/11.md