richmahn_en_tn/exo/07/25.md