added sentence about start value for p
added first proof (1. version with a lot of todos)