Proof a construction of a proposition.