Describir: O dokazateľstve v matematike :