theorem :: XPRIMES2:1304

canceled;