DEFINITION sc3_sn3()
TYPE =
∀
g:
G
.
∀
a:
A
.
∀
c:
C
.
∀
t:
T
.(
sc3
g a c t)
→
(
sn3
c t)
BODY =
Show proof