made stuff clearer, almost done proving theorem for properties 1 and 2.