theorem :: XPRIMES2:1689

canceled;