theorem :: XPRIMES2:6654

canceled;