theorem :: XPRIMES2:80

canceled;