theorem :: XPRIMES2:5674

canceled;