Demos with fermats just right theorem