共1个uva(12167)(proving相关