Re:>857 1は整式ではないのか?