>>958
交換法則を発見/証明した後ならね。