finish the N=5 proof

Still owe some discussions about further efforts (i.e., Chabauty and
Coleman) and empirical results.