theorem :: XPRIMES2:2736

canceled;