"""precondition: x is a number postcondition: returns the square of x"""