ако r е положително цяло число и r  2 се дели на 12 , тогава най-голямото положително цяло число, което трябва да раздели r  3 е
тъй като r е цяло число, така че r не може да има 2 и sqrt 3 (защото squareing това ще ни даде 2  2 и 3 (което прави произведението като 12 , а r  2 като кратно на 12 ) r  2 се дели на 12 ( 12  2 * 2 * 3 ), така че , r трябва да има поне едно 2 и едно 3 , така че r  трябва да има поне едно 2 и едно .
power(sqrt(multiply(const_4, power(divide(12, const_4), 2))), const_3)