Taxa bewisar , at för ensa