This doesn't feel quite right to me. It's definitely slightly analogous, so maybe it will help some, but I think it's problematic. Mostly because "program" is an ambiguous term.

An attempt at explaining:
We have one executable, which is started initially. That becomes a process running a program. That process can split, to have multiple processes. However independently the executable can be started multiple times. So we can have n copies of the executable running, each with >= 1 process.