theorem :: XPRIMES2:2647

canceled;