theorem :: XPRIMES2:6788

canceled;