Let and be Ordinals. Then