Add Is-Prime and Enhance Factorial