theorem :: XPRIMES2:2867

canceled;