theorem :: XPRIMES2:3937

canceled;