prove4math