Check the inner product of phi(4,x) with the first 10 phi's in the set
> for k from 4 to 10 do innerp(4,k); od;
Not bad
>