, i.e. (

), be co-momental and

be the time-system whose moment

, contains

, then by (i)