generate0@prime(n)&lt;＝&gt;n＝&lt;2|fail.