add proof for orth mubius with squareroot