theorem :: XPRIMES2:2742

canceled;