P$^2$ Law: Scaling Law for Post-Training After Model Pruning