Proof constructor

Proof()

Implementation

Proof();