for a being Real holds Re (a * <i>) = 0