theorem :: XPRIMES2:6072

canceled;