theorem :: FINSEQOP:78

canceled;