User:Theknightwho/mn-lemmas/instrumental/7