theorem Th26: :: HALLMAR1:26

for F being set
for A being FinSequence of bool F holds A is Reduction of A