Суждение, на котором основан способ рекурренций, может быть изложено в других формах