The postulates as stated here are taken from Arnborg and Sjödin.
ההנחות הנ"ל מובאות כפי שנוסחו על ידי Arnborg וSjödin.