同調長度公式