theorem :: XPRIMES2:6180

canceled;