theorem :: XPRIMES2:46

canceled;