theorem :: XPRIMES2:7989

canceled;