theorem :: XPRIMES2:9480

canceled;