1 ! = 1 by FINSEQ_2:50;