prove exit1