X 2 ** Y 2 ** + Z 2 ** + 1 <=