Two Formal Notions of Higher-order Invariance Detection in Humans (A Proof of the Invariance Equivalence Principle in Generalized Invariance Structure Theory and Ramifications for Related Computations)