不過要成為證明的話.. 接下來需要證明這個程式是對的? XD