Round-six lemma `fcost_sim`