Who proposed charge and how we can say charge is positive or negative or neutral and what theorem are used ? Why and give reason?