theorem :: XPRIMES2:2734

canceled;