theorem :: ORDINAL4:29

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