theorem :: XPRIMES2:6096

canceled;