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