I think I proved it