prove push