Let me ask how to prove that the trefoil class is not a sub class of the unknot class, not using the theorem of Reidemeister moves.
The reason to exclude the theorem of Reidemeister moves is I have read in the following link that the complete proof is not easily accessible. Link