theorem :: XPRIMES2:3770

canceled;