Proving triangle similarity by SSS and SAS