theorem :: XPRIMES2:801

canceled;