added proof of divisor of y
some more todo notes