theorem :: XPRIMES2:6564

canceled;