theorem :: XPRIMES2:3805

canceled;