模块Prime，其中可分割：：Int->Int->Bool可分m n=模m n==0因子：：Int->[Int]因子m=[n|n<-[1..m]，可除mn]素数：：Int->Bool素数m=m>1&&因子m==[1，m]主因子：：Int->[Int]素数因子m=[n|n<-因子m，素数n]