Nějak mi uniká, o co ti jde. Buď chceš výsledek (a x b) nebo - (a x b) nezávisle na parametru (pak podmínku nepotřebuješ a napíšeš tam to, co chceš dostat). Nebo má výsledek záviset na parametru ... pak ho musíš otestovat a zvolit konkrétní výsledek.