$3$ Write down a program P such that the following preconditions and post conditions are met under partial correctness; then prove that this is so$.($a$)($T$)$ P $($y $=$ x $+5).($b$)($T$)$ P $($ z $>$ x $+$ y $+4).$