theorem :: XPRIMES2:688

canceled;