The loop that follows is identical to the one we use in a normal factorial program. Multiplication of two BigIntegers is performed using the multiply function which takes a BigInteger as an argument.