>>860
循環してないならトートロジーで合ってるのでは