add other theorem "flat-fractals"