theorem :: XPRIMES2:4760

canceled;