Question 183175
square root of y4 = y^2 .... y is nonnegative