Could someone please help me figure out how to do this proof ( dpaste: 2QA0Z79 ) (from the topic of AUTOMATA THEORY)? I've been trying to create an NFA using a formal definition, but I've been stuck on this problem for like a week!

Any input would be greatly appreciated!