Sequence notation
Multiplication - without proof