et donc on peut faire apparaitre 906150256 dans la preuve, mathématiquement?