theorem :: XPRIMES2:2922

canceled;