theorem :: XPRIMES2:5489

canceled;