theorem :: XPRIMES2:7506

canceled;