4式って何?