for A being Interval holds 0 ** A is interval