done proof p_property