theorem :: XPRIMES2:6285

canceled;