theorem :: XPRIMES2:6512

canceled;