theorem Th71: :: AOFA_000:71

for A being preIfWhileAlgebra holds Generators A c= ElementaryInstructions A