theorem :: XPRIMES2:6912

canceled;