Simplified proof
Dropped Equiv