A categorical result derived under a condition may always be asserted unconditionally.