theorem :: XPRIMES2:2786

canceled;