theorem :: XPRIMES2:6766

canceled;