take Z/ p ; :: thesis: Z/ p is p -characteristic
thus Z/ p is p -characteristic ; :: thesis: verum