ако x  3 y , където y е просто число по-голямо от 2 , колко различни положителни дори делители има x , включително x ?
за да може x да има четни делители, x трябва да е четно число . знаем, че x  3 y, където y е просто число по-голямо от 2 . като 2 е единственото четно просто число , y трябва да е нечетно просто число . това означава, че x също трябва да е нечетно число , тъй като нечетното x  нечетно . като x е нечетно , следователно не може да има дори и divis .
divide(multiply(3, const_3), 3)