theorem :: XPRIMES2:5778

canceled;