Ett bevis på antagandets riktighet lämnas däraf,