p2 before eq (1)

[Conventionally, these operators are required]-->
[These operators are required]

[according to the rules a|n>=*|n-1>, a|0>=0 and a+|n>=...]