Li-Fan Chen says to YSITD
x^2+y^2=1