theorem :: XPRIMES2:6900

canceled;