theorem ea