验证冒号语法，这个程序中完整体现了冒号语法的使用规则，适合入门学习(Verify the colon syntax. This program fully embodies the use rules of the colon grammar, which is suitable for beginners)