theorem :: XPRIMES2:6228

canceled;