Post

Cerdenia wrote:

I think we proved that something was proved today.

I think your line of thinking is correct, I think we did prove that something was proved, therefore proving this statement.