Original: It was the first major theorem to be proven using a computer .
Simplified: This was the first theorem to be proved by a computer .