\problemdata       % Takes 5 *mandatory* arguments
  {postage6-10}            % latex-friendly label for the prob.
  {induction}              % The topic(s) of the problem content.
  {}                       % Source (if known)
  {S02 cp2F-1}             % Usage (list ones you are aware of).
  {Nick Matsakis, S02}     % Last revision info (author, date).
%STRONG INDUCTION, new

\begin{problem}
What amounts of postage can be made from 6\textcent\ stamps and 10\textcent\
stamps?  Prove it.

\solution{6\textcent, 10\textcent, 12\textcent, and every even number of
cents $\geq 16$\textcent.  Proof sketch: Cases $n= 16, 18, 20$\textcent\
explicitly.  Then for even $n \geq 22$, assemble $n-6$\textcent\ by strong
induction hypothesis and add 6\textcent\ stamp.  Can't get odd postage
because 6 and 10 both even; other cases <16 by exhaustion.}
\end{problem}

