A case of automatic theorem proving in Euclidean geometry: the Maclane 8_3 theorem