Corollaries of the isosceles triangle theorems