- s'afageix una proposició per basis invariant