Simplified proof