ariadne remained faithful to dionysus but was later killed by perseus at argos several properties of the trace function hold for any finite extension he later specialised in family law and labour law