Proof

Man-optimal Matching

Women can not do worse

Strategically manipulable?