求“A真包含于B”是“A交B=A”成立的必要条件?