Chapter 5: Introducing multiplication test for Franc (Fail)