theorem :: XPRIMES2:1690

canceled;