Theorem 1 appears to be successfully proved, though still a bit sketchy