Add missing braces to proof of T3.1 and change 'refleksiivsus' to 'transitiivsus' where needed