有a、b、c三类。已知：甲a真包含于b，乙c与b交叉。试证：a与c的关系。