魏の衛尉程昱の孫、程武の子.
、程武の子