np，佬 是先想的证明还是先做的题😳