theorem :: XPRIMES2:3871

canceled;