User:Toshio Yamaguchi/Regular prime