Square of an integer formula