Complete proof code in main class. Project finished