add ref for figure, add make clean and add myth for theorem