theorem :: XPRIMES2:6260

canceled;