for w, z being Complex holds
( (z ExpSeq) . 0 = 1 & (Expan (0,z,w)) . 0 = 1 )