Python code that factorizes an integer.