theorem :: XPRIMES2:6107

canceled;