Proving A Mathematical Theory of the Day