式の導出