Revert "Revert "alice.ye modify ProA_04.txt""

This reverts commit f6855528344ebc2d86d1e68e782d486ec22dd948.