Postulate used in the construction of isosceles triangle when base and length of altitude is given is: