Proof Constructor Test

It works correctly.