>>753
縮小分は次元の彼方に行ってるんだよ。ミラーの応用w