theorem :: XPRIMES2:2697

canceled;