Comment by tel

I would also always use that in a mathematical context but feel it’s weird to hear, say, “proved in a court of law”.