theorem :: XPRIMES2:2707

canceled;