theorem :: XPRIMES2:6255

canceled;