theorem :: XPRIMES2:2676

canceled;