User blog comment:B1mb0w/Finite: a tour of the finite numbers/@comment-240F:1B:101F:1:E8A0:B3C3:70B1:A854-20170727123133/@comment-30754445-20170728034923

Also, it perfectly reasonable to write:

ε₁[3] = ε₀ε₀ ε₀

ε₁ has more than one fundamental sequences, you know :-)

(of-course, the equation in the video is stll wrong because it lacks the '[3]')