FIXME-TODO
2009-12-03 Christian Urban removed quot argument...not all examples work anymore
2009-12-03 Christian Urban first version of internalised quotient theorems; added FIXME-TODO
less more (0) tip