Use the quotient-remainder theorem with divisor equal to __ to prove that the product of any two consecutive integers has the form __ or __ for some integer __.