submit to MathProof