Rigorous constrains that nuclear forces must satisfy to be consistent with the saturation property of nuclear binding energies