self-transversality theorem