set E = InducedSubfield S;
( 0. (InducedSubfield S) = 0. F & 1. (InducedSubfield S) = 1. F ) by dis;
hence not InducedSubfield S is degenerated ; :: thesis: verum