arithmetric.com -- theorem #4: paths -- images loading ...