theorem :: XPRIMES2:8706

canceled;