>>191
ショートカット先のかけ算はどう定義されますか？

その世界がどんな世界かよくわかりませんが、現実世界ではどうですか？