Added an = sign nin theorem 1 point 3