A X B »A