a squared minus b squared equals c squared