alan formül ispatı