User:Toshio Yamaguchi/Prime space group