The set of non-squares in a number field is diophantine - Bjorn Poonen (2007)