theorem Th22: :: ORDINAL4:22

for A, C being Ordinal st C <> {} holds
exp (C,A) <> {}