theorem :: XPRIMES2:8675

canceled;