En allmänt bekant sats pästär ,ali