Algebra.DivisibleSpace

class C a b