On the other hand, the statement that every filter is contained in an ultrafilter does not imply AC.
The analogue of Tychonoff's theorem in pointless topology does not require any form of the axiom of choice.