Necessary and Sufficient in Mathematics