theorem :: XPRIMES2:1608

canceled;