— Detta är en sann aritmetisk sats.