theorem :: XPRIMES2:1655

canceled;