theorem :: XPRIMES2:2897

canceled;