スーパーポージング公理からスーパーポージング定理へ
図だけ

檜山正幸 (HIYAMA Masayuki)
Wed Jan 19 2005:prefinal
FIG: オリジナルのスーパーポージング公理とその簡略形

/* superposing */

FIG: 左タイトニングと右タイトニング

/* tightening */

FIG: 縄跳びの補題

/* jump-rope */

FIG: クロス（対称）の基本性質

/* cross-axioms */

FIG: 縄跳びの補題の計算

/* jump-rope-calc */

FIG: スーパーポージング定理の証明 1

/* proof-superposing */

FIG: ずらし

/* shift */

FIG: スーパーポージング定理の証明 2

/* proof2-superposing */