Proof a construction of a prop.