Add prove usage example