theorem :: XPRIMES2:5677

canceled;