consider c being Component of the Sorts of A;
take c ; :: thesis: c is Component of the Sorts of A
thus c is Component of the Sorts of A ; :: thesis: verum