AML Theorems

Summary
We will send to the arxiv a technical report including theorems showing which properties learning algebras need for generalisation corresponding to Task 21