theorem :: XPRIMES2:1684

canceled;