theorem :: XPRIMES2:2947

canceled;