The ``maximal partial order'' means for any partial order $\alpha\in\mathscr{B}(A)$, $\lambda\subseteq\alpha$ implies $\lambda=\alpha$.
It is obvious if we apply the well-ordering theorem or Zorn's lemma. Since the equivalence among well-ordering theorem, Zorn's lemma and the axiom of choice, we can give a proof directly from the axiom of choice, I mean, not a pretended proof( to prove Zorn's lemma first and then use the lemma).
Could any one help me?