The Szarek-Voiculescu proof of Shannon's entropy power inequality