theorem :: XPRIMES2:2906

canceled;