Loop theorem