theorem :: XPRIMES2:8922

canceled;