theorem :: XPRIMES2:3718

canceled;