theorem :: XPRIMES2:2907

canceled;