Explicit mathematics text book cl 1 (3000 FRS)