Vid denna sats hejdade Pascal sin penna.