theorem :: XPRIMES2:736

canceled;