card X = card (FreeGenSetNSG (ECIW-signature,X)) by Th70;
then card (ElementaryInstructions (FreeUnivAlgNSG (ECIW-signature,X))) is infinite by Th70;
hence ElementaryInstructions (FreeUnivAlgNSG (ECIW-signature,X)) is infinite ; :: according to AOFA_000:def 23 :: thesis: verum