陈胜者，阳城人也。