theorem :: XPRIMES2:371

canceled;