命题XIII.17