theorem :: XPRIMES2:5770

canceled;