The Power of the Ultrafilter Theorem