Substitutionsprincipen i en mening