能書きいいから証明して
コードもかけなきゃ証明もできないのか