theorem :: XPRIMES2:268

canceled;