Or it might be possible to generate a proof with a solver[1] of some kind.<p>[1]: <a href="http:&#x2F;&#x2F;www.chargueraud.org&#x2F;softs&#x2F;cfml&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.chargueraud.org&#x2F;softs&#x2F;cfml&#x2F;</a>