theorem :: XPRIMES2:564

canceled;