theorem :: XPRIMES2:820

canceled;