extracting public ssh key from private ssh key

In which we find out how to extract a public key from a private key file

ssh-keygen -y -f your_pem_file.pem