loop theorem

ウィキペディアから