theorem :: XPRIMES2:7605

canceled;