That’s easily proven to be true. “Two plus two equals four” is a theorem, so is “three plus three equals six”, etc.