P218: Added Java, Haskell, Mathematica "solutions" containing a huge mathematical proof.