salmons theorem