theorem :: XPRIMES2:4605

canceled;