1. Progress Satisfied => Deadlock free : Valid
2. Starvation free => Deadlock free : Valid
3.Starvation freedom => Bounded wait : Invalid
Bounded-Waiting does not say if a process can actually enter into CS with finite time . It only says there is a bound. So , in case of BW satisfied , still there is Starvation possible. ( all process may lock up in entry section , a process p1 can go to CS many times without giving p2 a chance still there BW satisfy but p2 is starving )
That's why it is Invalid.
Starvation + Progress >> Bounded Wait : Valid