A simple proof of arithmetical completeness for Pi-1 conservativity logic