User:Theknightwho/mn-lemmas/instrumental/4