richmahn_en_tn/exo/16/17.md