concrete MathNno of Math = CatNno ** MathScand with
  (ResScand = ResNno) ;