\problemdata       % Takes 5 *mandatory* arguments
  {plaza-tiles}            % latex-friendly label for the prob.
  {induction}              % The topic(s) of the problem content.
  {}                       % Source (if known)
  {S02 cp2W-2}             % Usage (list ones you are aware of).
  {Nick Matsakis, S02}     % Last revision info (author, date).
\begin{problem}
Prove that a $2^n \times 2^n$ plaza can be tiled the L-shaped tiles
leaving untiled \emph{any} single $1 \times 1$ square desired.  (Yes, the
solution was in the reading, but do you remember it, and can you
explain/write it?)

\solution{This variation of the problem is proved in the text, {\em Rosen
pp. 196--197} and in \href{
http://theory.lcs.mit.edu/classes/6.042/spring02/handouts/lectures/ln2.pdf}
{Week 2 Notes}.}
\end{problem}
