theorem :: XPRIMES2:5673

canceled;