"It is an irrefutable statement of mathematical fact"