a Sa <=. a 

