film thickness subgroup of thickness, 3 assertions