Real numbers and elementary algebra (Rajawali)