英语翻译verify by substitution that each given function is a sol