Hence proof