theorem Th27: :: NEWTON:27

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