theorem :: XPRIMES2:2271

canceled;