theorem :: GRSOLV_1:5

for G being solvable Group
for H being Subgroup of G holds H is solvable