P = 1
P -> ; kdeg_P * P ; kdeg_P = 1
