Proving 3D Printable Models