שינויים

:יש את הטענות עם הגרירות שמופיעות ברשימה (<math>A_k\rightarrow A_{k+1}</math>), ויש את הטענות שצריך להוכיח שהן שקולות (<math>A_k</math>)

== קבוצות ==