theorem :: XPRIMES2:2701

canceled;