-Added proof as haddock documentation