Create ProofTest
Rename ProofTest to ProofTest.java
Merge pull request #10 from irongavel/patch-8

Patch 8