for a being Ordinal holds a |^|^ 2 = exp (a,a)