Added some theorems about protosheafs