len (canFS {} ) = card {} by UPROOTS:5
.= {} ;
hence canFS {} is empty ; :: thesis: verum