theorem :: XPRIMES2:3766

canceled;