theorem :: XPRIMES2:6487

canceled;