実行のときに適法であった行為を、後から定めた法律で罰することを禁じるものはどれか。