theorem :: XPRIMES2:8836

canceled;