User:Theknightwho/mn-lemmas/ablative/7