Tous les diviseurs de 25 sont des diviseurs de 15 ?