работник a отнема 8 часа, за да свърши работа . работник b отнема 12 часа, за да свърши една и съща работа . колко време отнема както a & b , работейки заедно, но самостоятелно , за да свърши една и съща работа ?
"a ' s едночасов труд  1 / 8 . b ' s едночасов труд  1 / 12 . ( a + b ) ' s едночасов труд  1 / 8 + 1 / 12  5 / 24 . и двете a & b могат да завършат работата за 24 / 5 дни b"
divide(const_1, add(divide(const_1, 8), divide(const_1, 12)))