Om substitut finns som ger samma resultat går vi över till detta substitut . ·