양정수 n을 소수들의 unique list(중복가능) - 곱셈하면 원래 n이 되는 - 으로 분해하는 ... (뻔한)
... 산술의기본정리(산술,arithmetic의 fundamental_theorem)에 의해, 양정수들은 unique_factorization_domain(UFD)를 이룬다. =,unique_factorization_domain =,UFD { https://oeis.org/wiki/Unique_factorization_domain }
그것들은 소인수,prime_factor =소인수,prime_factor =,prime_factor 소인수 prime_factor { https://oeis.org/wiki/Prime_factors 소인수 Page name via prime factor "prime factor" prime factor Up: 인수,factor 소수,prime_number 소,prime(?) }