theorem :: XPRIMES2:9660

canceled;