If dF = 1, then F is primitive.
dF = 1 ならば、F は原始的である。