Category:Named Theorems/Mercator, N