 To prove that it follows from the original form, let "A" be a poset.Then formula_1 is a totally ordered subset of "A", hence there exists a maximal totally ordered subset containing formula_1, in particular "A" contains a maximal totally ordered subset.For the converse direction, let "A" be a partially ordered set and "T" a totally ordered subset of "A".