Coding Theorems on Correlated General Sources