small update to min mem theorem statement

updated theorem for minimal member to use parameterized EdgePaths.
Cases in, trying backtracking for min mem. New Node try as well.
just kidding on the inductive node defs
Trying to prove pred existance for non-zero indexed nodes