theorem :: XPRIMES2:7505

canceled;