User:Theknightwho/mn-lemmas/instrumental/3