  In this article we give a proof of a q-analogue of the celebrated four
functions theorem. This analogue was conjectured by Bjorner and includes as
special cases both the four functions theorem and also Bjorner's q-analogue of
the FKG inequality.
