[see also: reverse
For the opposite inclusion, suppose that......
the opposite inequality
Then D is the face of the simplex s opposite to A. [Or: opposite A]