theorem :: XPRIMES2:5605

canceled;