Det finnes en berömd matematisk lärosats,