Primality Proving via One Round in ECPP and One Iteration in AKS