Other types fit into this pattern as well.
The proof that $a<b$ follows the standard pattern.
Thus, although we follow the general pattern of proof of Theorem A, we must also introduce new ideas to deal with the lack of product structure.
[see also: model]
The proof is patterned upon $\langle$after$\rangle$ Section 2 of [6].
Go to the list of words starting with: a
b
c
d
e
f
g
h
i
j
k
l
m
n
o
p
q
r
s
t
u
v
w
y
z