This form of axiom was certainly not new as it had already been given in the fifth century by Proclus .
Ang form na ito ng axiom ay tiyak na hindi bagong bilang na ito ay ibinigay sa ikalimang siglo sa pamamagitan ng Proclus.