Closure Property of Multiplication