francois fagesらにより理論的にまとめられた。