(定・公)式と証明