wrong prove unexpectedly

Display