theorem :: XPRIMES2:2917

canceled;