(sqrt(17)-sqrt(2))*(sqrt(17)+sqrt(2))