theorem :: XPRIMES2:2564

canceled;