Myers' Theorem