prove 4