time dilation subgroup of dilation, 1 assertions