Searching for links to FundamentalTheoremOfArithmetic:
Factor