Arrival theorem
[nl] PASTA-eigenschap