a) that's canon.com, so i'm treating the 1DX name as fact (some people already noted that it's the tenth 1-series and speculated the 1DX, well done there.
but b), 70million EF lenses since 1987? They had 50 million only a year ago. Nikon just announced 65 million F-mount since 1959, looks like the red camp is winning...