theorem :: ORDINAL4:28

for A, B, C being Ordinal st A c= B holds
exp (A,C) c= exp (B,C)