프로베니우스 수 {4, 7, 12}