Is there a way to show within an integer program with constant number of variables and constraints, it is not possible for a variable to take only square values?