Proof of h+(n), minor change