Skolem arithmetic

Introduction

Multiplication

Just multiplication, no addition.