Is a linked claim mathematically true under real-number arithmetic? · Digg