そんなことも言ってたのか
「任意のライフタイムで必ず成立する」なら「どんな寿命の参照でも」だけで前提と捉えるべきだな