a squared plus b squared equals c squared to Assaloid