DEFINITION sc3()
TYPE =
       G→A→C→T→Prop
BODY =
Show proof