>>170
この場合はお前の定理が適用できるのか?