Question 1133607
It's only a theorem.