A short introduction

We Prove To You:
      All Our Puzzles Are Interesting!


Let UIP be the set of uninteresting puzzles on our site:
Assume that UIP is not empty:
This means that there are some uninteresting puzzles on our site.
Then there also exists a least interesting puzzle.
Let LIP (member of UIP) be this least interesting puzzle:
    Then we would be very interested to know which puzzle LIP is.
    So this makes LIP a very interesting puzzle!
    But we assumed that LIP was uninteresting (member of UIP).
Which leads to a contradiction!
This means that UIP can only be empty!
So: all puzzles on our site are interesting!

Another proof: our awards and visitors' reactions.

back to the main puzzle page.

Copyright © 1996-2010. RJE-productions. All rights reserved. No part of this website may be published, in any form or by any means, without the prior permission of the authors.