Nicholas Saunderson (1682/1683–1739), Lucasian Professor of Mathematics (1711) (1718)