Her kanıt ispatlanmış anlamını içermez diyorum işte. Kanıtında herkesi tatmin edecek cinsten olması lazım.