theorem :: XPRIMES2:684

canceled;