式の式と式とG