[hawk]

These proofs aren't really that interesting, it's more of an exercise really... most solitaire games with certain properties are NP-complete and most 2-player games are PSPACE-complete.