theorem Lm15: :: BASEL_1:20

for f being real-valued FinSequence holds len (cosec f) = len f