theorem :: XPRIMES2:4484

canceled;