added one more proof, Theorem: noInstructionIndex.