n
∈
Composite
Check pseudo(a,n)=
F