But through his research, Zhou found that a complete definition and proof of the theorem existed as early as the Western Zhou ...