theorem :: XPRIMES2:743

canceled;