theorem :: XPRIMES2:6778

canceled;