означає множення один номер на інший (перевірити розширення є випробування точність множення зроблено клієнтом). Продовжити процедури перевірки є застосування процедури додаткові перевірки отримати більше доказів.