for A, B, C being Ordinal st C <> 0 & A in B holds
A *^ C in B *^ C