Exactness of the normal-ordered two-body truncation of three-nucleon forces | Synapse