Domain d4lema1: 4lem A:1-541