dogmatic cps of factorial