Antiferromagnetic ordering of energy levels for a spin ladder with four-spin cyclic exchange: Generalization of the Lieb-Mattis theorem