for f being empty XFinSequence holds XProduct f = 1