remove another proof