theorem :: XPRIMES2:1296

canceled;