Did you know that it took 90 years to replace the "unconvincing" original proof of Roberts's triangle theorem , on the number of triangles formed by systems of lines, with a correct proof?