theorem :: XPRIMES2:6746

canceled;