theorem :: XPRIMES2:6230

canceled;