Teorem YDS Perfect Grammar