ある正の整数に対して因数分解