for a, b being Real holds (a,b) In_Power 0 = <*1*>