new theorem of pythagoras for circumferences