chens theorem