This result is an D5370: Order dual theorem to result R1077: Maximum element is unique, whence the claim is a consequence of R1323: Order duality principle. $\square$