theorem Th3: :: MATRTOP1:3

for r being Real holds sqrt <*r*> = <*(sqrt r)*>