egal an , X 7>