theorem :: XPRIMES2:5867

canceled;