theorem :: XPRIMES2:3905

canceled;