theorem :: XPRIMES2:6130

canceled;