`defactorize``f`procedure- f
- (list-of (list integer integer))

Returns the natural number, whose factorization is given by

`f`. The factorization`f`is represented as described in`factorize`.> (defactorize '((2 3) (3 1) (5 2))) 600

Wikipedia: Integer Factorization