Някои дами могат да свършат една работа за 12 дни. два пъти повече от тези дами ще свършат половината от тази работа в:
expl : нека x дамите могат да свършат работата за 12 дни . повече дами , по-малко дни (непряка ) по-малко работа , по-малко дни (пряка ) дами 2 x : x работа 1 : 12 2 x : x , 1 : 12 : : y : . 2 x * 1 * y  x * 12 * 12 или y  3 следователно необходимия брой дни  3
divide(12, const_4)