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