simplified proof