theorem :: XPRIMES2:367

canceled;