User:Theknightwho/mn-lemmas/instrumental/13