是。太原万佳雅苑小区是大红本，大红本是城市国有土地上建设的房屋、房地管理部门颁发的房屋产权证，是国家发的正式的房产证。