On the primality of F4723 and F5387 (1990)

by F Morain